(0 8 1)(2 19 17)(3 20 5)(4 9 7)(6 14 12)(10 16 13)(11 18 15)
ALLOWS (11/8)-SEQUENCE
1: (0 8 13)
(0 10 16 13 1)(2 19 17)(3 20 5)(4 9 7)(6 14 12)(8)(11 18 15)
2: (6 14 12)
(0 10 16 13 1)(2 19 17)(3 20 5)(4 9 7)(6)(8)(11 18 15)(12)(14)
3: (1 16 13)
(0 10 16)(1)(2 19 17)(3 20 5)(4 9 7)(6)(8)(11 18 15)(12)(13)(14)
4: (4 9 7)
(0 10 16)(1)(2 19 17)(3 20 5)(4)(6)(7)(8)(9)(11 18 15)(12)(13)(14)